1

On the Expressive Power of OKFDDs

Year:
1997
Language:
english
File:
PDF, 369 KB
english, 1997
8

A genetic algorithm for RKRO minimization

Year:
1997
Language:
english
File:
PDF, 1.08 MB
english, 1997
9

On local transformations and path delay fault testability

Year:
1995
Language:
english
File:
PDF, 1.66 MB
english, 1995
11

Testability of 2-Level AND/EXOR Circuits

Year:
1999
Language:
english
File:
PDF, 50 KB
english, 1999
13

Polynomial Formal Verification of Multipliers

Year:
2003
Language:
english
File:
PDF, 306 KB
english, 2003